$\forall$$i$,$j$:$\mathbb{Z}$. Dec($i$ $\leq$ $j$)